Inductive logic programming - PDFSEARCH.IO - Document Search Engine

Inductive logic programming
Results: 65

#	Item
21	Inductive Logic Programming Using a MaxSAT Solver Noriaki Chikara1 , Miyuki Koshimura2 , Hiroshi Fujita2 , and Ryuzo Hasegawa2 1 2 Add to Reading List Source URL: www.ilp2015.jp Language: English - Date: 2015-08-05 01:44:53
22	Nuprl's Inductive Logical Forms Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Type theory Mathematical logic Logic Hierarchy Structure Reasoning Automated theorem proving Epistemology Inductive reasoning Nuprl Logic programming
23	25th INTERNATIONAL CONFERENCE ON INDUCTIVE LOGIC PROGRAMMING KYOTO,AUG.20-22,2015 conference & program co-chairs : KATSUMI INOUE, NII / HAYATO OHWADA, Tokyo University of Science / AKIHIRO YAMAMOTO, Kyoto University Add to Reading List Source URL: www.ilp2015.jp - Date: 2015-05-22 20:13:35
24	PDF Document Add to Reading List Source URL: www.cogsys.wiai.uni-bamberg.de Language: English - Date: 2007-08-15 12:32:00 Programming paradigms Artificial intelligence Software engineering Cognitive science Machine learning Theoretical computer science Inductive programming Logic programming Recursion Algorithm Inductive reasoning Data mining
25	Inductive Mercury Programming Barnaby Fisher and James Cussens Dept of Computer Science, University of York, Heslington, York, YO10 5DD, UK {barney\|jc}@cs.york.ac.uk Abstract. We investigate using the Mercury language t Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2007-02-21 05:49:09 Prolog Logic programming Query languages Inductive logic programming Predicate Clause Mercury PROGOL SQL Computing Software engineering Computer programming
26	Integrating Machine Learning and Physician Knowledge to Improve the Accuracy of Breast Biopsy I. Dutra1 , H. Nassif2 , D. Page2 , J. Shavlik2 , R. M. Strigel, MD, MS2 , Y. Wu2 , M. E. Elezaby, MD2 , E. Burnside, MD, MPH, Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2011-10-26 21:00:20 Breast surgery Cancer screening Ribbon symbolism Mammography Breast biopsy Breast cancer Machine learning Weka Inductive logic programming Medicine Biopsy Pathology
27	An Inductive Logic Programming Approach to Validate Hexose Binding Biochemical Knowledge Houssam Nassif1,2 , Hassan Al-Ali3 , Sawsan Khuri4,5 , Walid Keirouz6 , and David Page1,2 1 Department of Computer Sciences, Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2010-02-03 18:08:47 Bioinformatics Molecular biology Nutrition Amino acid Nitrogen metabolism STING Biology Proteins Proteomics
28	Inductive Programming Meets the Real World Sumit Gulwani José Hernández-Orallo Stephen H. Muggleton Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-04-04 21:08:00 Programming paradigms Cybernetics Learning Machine learning Domain-specific language End-user development Logic programming Inductive logic programming Usability Software engineering Computing Human–computer interaction
29	DL-Learner Manual Jens Lehmann February 13, 2015 DL-Learner is a machine learning framework for OWL and description logics. It includes several learning algorithms and is easy to extend. DLLearner widens the scope of Ind Add to Reading List Source URL: dl-learner.org Language: English - Date: 2015-02-13 08:51:20 Artificial intelligence Description logic Information science Non-classical logic Web Ontology Language Semantic reasoner Machine learning Inductive logic programming Semantic Web Science Information
30	Precedence-Inclusion Patterns and Relational Learning Frank J. Oles IBM T.J. Watson Research Center Yorktown Heights, NY Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2003-07-15 08:59:28 Inductive reasoning Problem solving Statistical inference Logic programming Finitary relation Science Knowledge Logic Reasoning Programming paradigms Epistemology

UPDATE